Poitou-Tate without restrictions on the order

The Poitou-Tate sequence relates Galois cohomology with restricted ramification of a finite Galois module $M$ over a global field to that of the dual module under the assumption that $\#M$ is a unit away from the allowed ramification set. We remove the assumption on $\#M$ by proving a generalization that allows arbitrary "ramification sets" that contain the archimedean places. We also prove that restricted products of local cohomologies that appear in the Poitou-Tate sequence may be identified with derived functor cohomology of an adele ring. In our proof of the generalized sequence we adopt this derived functor point of view and exploit properties of a natural topology carried by cohomology of the adeles.Comment: 28 pages; final version, to appear in Mathematical Research Letter

Topology on cohomology of local fields

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes $G$. These "\v{C}ech topologies", defined using \v{C}ech cohomology, are impractical due to the lack of proofs of their basic properties, such as continuity of connecting maps in long exact sequences. We propose another way to topologize $H^n(k, G)$: in the key case $n = 1$, identify $H^1(k, G)$ with the set of isomorphism classes of objects of the groupoid of $k$-points of the classifying stack $\mathbf{B} G$ and invoke Moret-Bailly's general method of topologizing $k$-points of locally of finite type $k$-algebraic stacks. Geometric arguments prove that these "classifying stack topologies" enjoy the properties expected from the \v{C}ech topologies. With this as the key input, we prove that the \v{C}ech and the classifying stack topologies actually agree. The expected properties of the \v{C}ech topologies follow, which streamlines a number of arithmetic duality proofs given elsewhere.Comment: 36 pages; final version, to appear in Forum of Mathematics, Sigm

The Manin constant in the semistable case

For an optimal modular parametrization $J_0(n) \twoheadrightarrow E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^0(E, \Omega^1)$. Multiple authors generalized his conjecture to higher dimensional newform quotients. We prove the Manin conjecture for semistable $E$, give counterexamples to all the proposed generalizations, and prove several semistable special cases of these generalizations. The proofs establish general relations between the integral $p$-adic etale and de Rham cohomologies of abelian varieties over $p$-adic fields and exhibit a new exactness result for Neron models.Comment: 28 pages; final version, to appear in Compositio Mathematic

Selmer groups as flat cohomology groups

Given a prime number $p$, Bloch and Kato showed how the $p^\infty$-Selmer group of an abelian variety $A$ over a number field $K$ is determined by the $p$-adic Tate module. In general, the $p^m$-Selmer group $\mathrm{Sel}_{p^m} A$ need not be determined by the mod $p^m$ Galois representation $A[p^m]$; we show, however, that this is the case if $p$ is large enough. More precisely, we exhibit a finite explicit set of rational primes $\Sigma$ depending on $K$ and $A$, such that $\mathrm{Sel}_{p^m} A$ is determined by $A[p^m]$ for all $p \not \in \Sigma$. In the course of the argument we describe the flat cohomology group $H^1_{\mathrm{fppf}}(O_K, \mathcal{A}[p^m])$ of the ring of integers of $K$ with coefficients in the $p^m$-torsion $\mathcal{A}[p^m]$ of the N\'{e}ron model of $A$ by local conditions for $p\not\in \Sigma$, compare them with the local conditions defining $\mathrm{Sel}_{p^m} A$, and prove that $\mathcal{A}[p^m]$ itself is determined by $A[p^m]$ for such $p$. Our method sharpens the known relationship between $\mathrm{Sel}_{p^m} A$ and $H^1_{\mathrm{fppf}}(O_K, \mathcal{A}[p^m])$ and continues to work for other isogenies $\phi$ between abelian varieties over global fields provided that $\mathrm{deg} \phi$ is constrained appropriately. To illustrate it, we exhibit resulting explicit rank predictions for the elliptic curve $11A1$ over certain families of number fields.Comment: 22 pages; final version, to appear in Journal of the Ramanujan Mathematical Societ

A modular description of X0(n)\mathscr{X}_0(n)

As we explain, when a positive integer $n$ is not squarefree, even over $\mathbb{C}$ the moduli stack that parametrizes generalized elliptic curves equipped with an ample cyclic subgroup of order $n$ does not agree at the cusps with the $\Gamma_0(n)$-level modular stack $\mathscr{X}_0(n)$ defined by Deligne and Rapoport via normalization. Following a suggestion of Deligne, we present a refined moduli stack of ample cyclic subgroups of order $n$ that does recover $\mathscr{X}_0(n)$ over $\mathbb{Z}$ for all $n$. The resulting modular description enables us to extend the regularity theorem of Katz and Mazur: $\mathscr{X}_0(n)$ is also regular at the cusps. We also prove such regularity for $\mathscr{X}_1(n)$ and several other modular stacks, some of which have been treated by Conrad by a different method. For the proofs we introduce a tower of compactifications $\overline{Ell}_m$ of the stack $Ell$ that parametrizes elliptic curves---the ability to vary $m$ in the tower permits robust reductions of the analysis of Drinfeld level structures on generalized elliptic curves to elliptic curve cases via congruences.Comment: 67 pages; final version, to appear in Algebra and Number Theor